- лемма о конечности
- finiteness lemma мат.
Русско-английский научно-технический словарь Масловского. 2015.
лемма о конечности
Look at other dictionaries:
ДИОФАНТОВА ГЕОМЕТРИЯ — диофантов анализ, область математики, посвященная изучению целочисленных и рациональных решений систем алгебраич. уравнений, или, иначе, изучению диофантовых уравнений, методами алгебраич. геометрии. Появление во 2 й пол. 19 в. теории алгебраич.… … Математическая энциклопедия
Базис — У этого термина существуют и другие значения, см. Базис (значения). Базис (др. греч. βασις, основа) множество таких векторов в векторном пространстве, что любой вектор этого пространства может быть единственным образом представлен в виде… … Википедия
СОБСТВЕННЫЙ МОРФИЗМ — морфизм схем, отделимый, универсально замкнутый и имеющий конечный тип. Морфизм схем f : наз. замкнутым, если для любого замкнутого множество f(Z) замкнуто в Y, и универсально замкнутым, если для любой замены базы замкнут морфизм Свойство быть С … Математическая энциклопедия
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
